Auto merge of #2448 - alexcrichton:docs-dirty, r=brson
authorbors <bors@rust-lang.org>
Thu, 10 Mar 2016 01:18:27 +0000 (17:18 -0800)
committerbors <bors@rust-lang.org>
Thu, 10 Mar 2016 01:18:27 +0000 (17:18 -0800)
commitd6e148dcd17bb747ad39c510618a97867ac9bbab
tree98f1c5298508100f14e37e425c7c22e6d8d9a2f9
parent9b9e89309c04d91e2fde7b2fa70f1dcd18c74990
parent2c089cf6dda04854e5bbf38ce9f24335eb745908
Auto merge of #2448 - alexcrichton:docs-dirty, r=brson

Fix rerunning rustdoc when output deleted

If `crate/index.html` is missing, we need to rerun rustdoc!

Closes #2379